Borel structures and Borel theories
نویسندگان
چکیده
منابع مشابه
Borel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...
متن کاملBorel Structures: a Brief Survey
We survey some research aiming at a theory of effective structures of size the continuum. The main notion is the one of a Borel presentation, where the domain, equality and further relations and functions are Borel. We include the case of uncountable languages where the signature is Borel. We discuss the main open questions in the area.
متن کاملBorel completeness of some א0-stable theories
We study א0-stable theories, and prove that if T either has eniDOP or is eni-deep, then its class of countable models is Borel complete. We introduce the notion of λ-Borel completeness and prove that such theories are λ-Borel complete. Using this, we conclude that an א0-stable theory satisfies I∞,א0(T, λ) = 2 λ for all cardinals λ if and only if T either has eni-DOP or is eni-deep.
متن کاملBorel Conjecture and Dual Borel Conjecture
We show that it is consistent that the Borel Conjecture and the dual Borel Conjecture hold simultaneously.
متن کاملCountable Borel equivalence relations, Borel reducibility, and orbit equivalence
ing from the proof given above for Gaboriau-Popa we obtain theorems such as: Theorem 2.10 Let (X, d) be a complete, separable metric space equipped with an atomless Borel probability measure μ. Suppose Γ acts ergodically by measure preserving transformations on (X,μ) and the action on (X, d) is expansive. Let (Et)0<t<1 be a collection of distinct countable Borel equivalence relations on X with:...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2011
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1305810759